debian/rules.defs: Update KERNELVERSION
authorIan Jackson <ian.jackson@eu.citrix.com>
Thu, 22 Feb 2018 18:17:47 +0000 (18:17 +0000)
committerHans van Kranenburg <hans@knorrie.org>
Thu, 22 Feb 2018 20:06:56 +0000 (21:06 +0100)
commit61f1951701c8d2fd43949de6e4a16abaa3ae15fb
tree059778017692f1c4717754aeffff526db8510496
parent0b2a1324a4280ab4ca678b212c69cdc2fbbe84ed
debian/rules.defs: Update KERNELVERSION

This is the newer of the two versions currently in sid.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
debian/rules.defs